Leave some space above the section heading when scrolling.
This is a part of https://gitlab.gnome.org/GNOME/gtk/merge_requests/143
by Julian Sperber.
#include "gtkintl.h"
#include "gtkprivate.h"
+#define BOX_SPACE 6
+
typedef struct {
GtkWidget *box;
GtkWidget *heading;
adj = gtk_scrolled_window_get_vadjustment (GTK_SCROLLED_WINDOW (chooser->scrolled_window));
if (section->heading)
gtk_widget_get_allocation (section->heading, &alloc);
- gtk_adjustment_animate_to_value (adj, alloc.y);
+ gtk_adjustment_animate_to_value (adj, alloc.y - BOX_SPACE);
}
static void
else
gtk_widget_get_allocation (section->box, &alloc);
- if (value < alloc.y)
+ if (value < alloc.y - BOX_SPACE)
break;
select_section = section;